Structural Limits and Approximations of Mappings

We extend the general framework of structural limits from graphs and relational structures to finite structures (including function symbols). For perhaps the simplest model of this type — sets with single unary function — we determine limit objects with respect to the three main fragments of first order. In each of these cases we solve an analog of Aldous-Lyons conjecture. This builds on the experience gained when studying limits of sequences of trees. 1 Supported by grant ERCCZ LL-1201 and CE-ITI P202/12/G061, and by the European Associated Laboratory “Structures in Combinatorics” (LEA STRUCO) 2 Email: [email protected] 3 Email: [email protected] Available online at www.sciencedirect.com www.elsevier.com/locate/endm